منابع مشابه
Var 1 Acquire
This paper 1 introduces a new line of research which ensures soundness and completeness in Natural Language text planners on top of an ee-cient control strategy. The work builds on the HUNTER-GATHERER analysis system (Beale, 96; Beale & Nirenburg, 96). That system employs constraint satisfaction, branch-and-bound and solution synthesis techniques to produce near linear-time processing for knowl...
متن کاملDSPACE[nk] = VAR[k+1]
In this paper we prove that the set of properties check-able by a Turing machine in DSPACEn k ] is exactly equal to the set of properties describable by a uniform sequence of rst-order sentences using at most k + 1 distinct variables. We prove that this is also equal to the set of properties describable using an iterative definition for a nite set of relations of arity k. This is a reenement of...
متن کاملWithanolides with phytotoxic activity from Jaborosa caulescens var. caulescens and J. caulescens var. bipinnatifida 1.
Seven new withanolides (1-7) were isolated from the aerial parts of Jaborosa caulescens var. caulescens and Jaborosa caulescens var. bipinnatifida. Three of the new compounds are related to jaborosalactones R, S, and T with a delta-lactone side chain and a hemiketal (or ketal) ring formed between a 21-hydroxyl and a 12-ketone (1-3). Compounds 4-7 are trechonolide-type withanolides with a gamma-...
متن کاملChanges of Reactive Hyperemia Index (RHI) in Hypertensive Patients
Recent epidemiological evidences indicates a complex association of hypertension with vascular endothelial dysfunction which causes the development and progression of atherosclerosis leading to adverse cardiovascular and cerebrovascular events due to reduction in nitric oxide (NO) bioavailability. The aim of the study was to investigate the value on reactive hyperemia peripheral arterial tonome...
متن کاملNuclear Coherent versus Incoherent Effects in Peripheral RHI Collisions
We derive simple and physically transparent expressions for the contribution of the strong interaction to one nucleon removal processes in peripheral relativistic heavy ion collisions. The coherent contribution,i.e, the excitation of a giant dipole resonance via meson exchange is shown to be negligible as well as interference between coulomb and nuclear excitation. Incoherent nucleon knock out ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Archéologie médiévale
سال: 2009
ISSN: 0153-9337,2608-4228
DOI: 10.4000/archeomed.19447